class Test    feature {ANY}        A1( s : INTEGER; s : INTEGER;  )          local  s : INTEGER; s : INTEGER;          do          end     feature {NONE}        A1( s : INTEGER; s : INTEGER;  )          local  s : INTEGER; s : INTEGER;          do          endend